CYK algorithm